CAILLAUD, BENOÎT: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Static model of a snowboard undergoing a carved turn: validation by full-scale test

Caillaud, Benoit, Winkler, Robert, Oberguggenberger, Michael, Luger, Marc, Gerstmayr, Johannes

Journal:

Sports Engineering

Year:

2019

Language:

english

File:

PDF, 2.32 MB

english, 2019

2

Contracts for System Design

Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A., Larsen, Ki

Journal:

Foundations and Trends® in Electronic Design Automation

Year:

2018

Language:

english

File:

PDF, 2.05 MB

english, 2018

3

An event structure based semantics for high-level message sequence charts

HÉLOUËT, LOÏC, JARD, CLAUDE, CAILLAUD, BENOÎT

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 1.24 MB

english, 2002

4

Human Induced Pluripotent Stem Cells in Hepatology

Gerbal-Chaloin, Sabine, Funakoshi, Natalie, Caillaud, Amandine, Gondeau, Claire, Champon, Benoite, Si-Tayeb, Karim

Journal:

The American Journal of Pathology

Year:

2014

Language:

english

File:

PDF, 2.05 MB

english, 2014

5

A type-based analysis of causality loops in hybrid systems modelers

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

6

Constraint Markov Chains

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

7

Composing heterogeneous reactive systems

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca P., Caspi, Paul, Sangiovanni-Vincentelli, Alberto L.

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2008

Language:

english

File:

PDF, 458 KB

english, 2008

8

Preface: Volume 65, Issue 7

Benoît Caillaud, Anca Muscholl

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 47 KB

english, 2002

9

Mind the gap: Expanding communication options in decentralized discrete-event control

Laurie Ricker, Benoît Caillaud

Journal:

Year:

2011

Language:

english

File:

PDF, 480 KB

english, 2011

10

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - A hybrid synchronous language with hierarchical automata

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoît, Pouzet, Marc

Year:

2011

Language:

english

File:

PDF, 681 KB

english, 2011

11

Protocol engineering using UML

Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoit Caillaud

Journal:

annals of telecommunications - annales des télécommunications

Year:

1999

Language:

english

File:

PDF, 1.12 MB

english, 1999

12

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Compositional Design Methodology with Constraint Markov Chains

Caillaud, Benoit, Delahaye, Benoit, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Wasowski, Andrzej

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

13

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - A type-based analysis of causality loops in hybrid systems modelers

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc

Year:

2014

Language:

english

File:

PDF, 641 KB

english, 2014

14

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Application of interface theories to the separate compilation of synchronous programs

Benveniste, Albert, Caillaud, Benoit, Raclet, Jean-Baptiste

Year:

2012

Language:

english

File:

PDF, 374 KB

english, 2012

15

Merging Scenarios

Jacques Klein, Benoit Caillaud, Loïc Hélouët

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 485 KB

english, 2005

16

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Why Are Modalities Good for Interface Theories?

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoît, Passerone, Roberto

Year:

2009

Language:

english

File:

PDF, 252 KB

english, 2009

17

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems

Delahaye, Benoît, Caillaud, Benoît, Legay, Axel

Year:

2010

Language:

english

File:

PDF, 266 KB

english, 2010

18

Somatic Gene Transfer of Human ApoA-I Inhibits Atherosclerosis Progression in Mouse Models

Benoit, P., Emmanuel, F., Caillaud, J. M., Bassinet, L., Castro, G., Gallix, P., Fruchart, J. C., Branellec, D., Denefle, P., Duverger, N.

Journal:

Year:

1999

Language:

english

File:

PDF, 425 KB

english, 1999

19

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Tag machines

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca P., Sangiovanni-Vincentelli, Alberto

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

20

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - From multi-clocked synchronous processes to latency-insensitive modules

Talpin, Jean-Pierre, Potop-Butucaru, Dimitru, Ouy, Julien, Caillaud, Benoit

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

21

Divide and recycle

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoît, Pouzet, Marc

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 664 KB

english, 2012

22

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Colaco, Jean-Louis, Pasteur, Cedric, Pouzet, Marc

Journal:

Proceedings of the IEEE

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

23

Non-standard semantics of hybrid systems modelers

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 586 KB

english, 2012

24

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Communication by sampling in time-sensitive distributed systems

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca P., Caspi, Paul, Sangiovanni-Vincentelli, Alberto L., Tripakis, Stavros

Year:

2006

Language:

english

File:

PDF, 266 KB

english, 2006

25

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects

Benoît Delahaye, Benoît Caillaud, Axel Legay

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.03 MB

english, 2011

26

Distributing Finite Automata Through Petri Net Synthesis

Éric Badouel, Benoît Caillaud, P. Darondeau

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

27

Concurrency in Synchronous Systems

Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 570 KB

english, 2006

28

[ACM Press the seventh ACM international conference - Grenoble, France (2009.10.12-2009.10.16)] Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 - Modal interfaces

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoît, Legay, Axel, Passerone, Roberto

Year:

2009

Language:

english

File:

PDF, 434 KB

english, 2009

29

1.P.116 Somatic gene transfer of human apo A-I inhibits atherosclerosis progression in mouse models

F. Emmanuel, P. Benoît, J.M. Caillaud, L. Bassinet, I. Viry, J. Clavier, N. Duverger

Journal:

Atherosclerosis

Year:

1997

Language:

english

File:

PDF, 193 KB

english, 1997

30

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - Divide and recycle

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoît, Pouzet, Marc

Year:

2011

Language:

english

File:

PDF, 664 KB

english, 2011

31

Synthesis and Control of Discrete Event Systems ||

Caillaud, Benoît, Darondeau, Philippe, Lavagno, Luciano, Xie, Xiaolan

Year:

2002

Language:

english

File:

PDF, 18.82 MB

english, 2002

32

4.W21.1 Effects of multiple HDL-associated human genes transfer in mice

Duverger, N., Benoît, P., Séguret, S., Emmanuel, F., Rouy, D., Viry, I., Bassinet, L., Caillaud, J.M.

Journal:

Atherosclerosis

Year:

1997

Language:

english

File:

PDF, 179 KB

english, 1997

33

[IEEE 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Paris, France (2016.8.24-2016.8.26)] 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation

Aljarbouh, Ayman, Zeng, Yingfu, Duracz, Adam, Caillaud, Benoit, Taha, Walid

Year:

2016

Language:

english

File:

PDF, 447 KB

english, 2016

34

Exploration clinique et biologique du NO

Darblade, Benoit, Privat, Christelle, Caillaud, Dominique, Rami, Jacques, Arnal, Jean-François

Journal:

Journal de la Société de Biologie

Year:

2000

File:

PDF, 1.91 MB

2000

35

Complete Atherosclerosis Regression After Human ApoE Gene Transfer in ApoE-Deficient/Nude Mice

Desurmont, C., Caillaud, J.-M., Emmanuel, F., Benoit, P., Fruchart, J. C., Castro, G., Branellec, D., Heard, J.-M., Duverger, N.

Journal:

Arteriosclerosis Thrombosis and Vascular Biology

Year:

2000

Language:

english

File:

PDF, 698 KB

english, 2000

36

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Heterogeneous reactive systems modeling

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca P., Caspi, Paul, Sangiovanni-Vincentelli, Alberto L.

Year:

2004

Language:

english

File:

PDF, 404 KB

english, 2004

37

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - The fundamentals of hybrid systems modelers

Benveniste, Albert, Caillaud, Benoit, Pouzet, Marc

Year:

2010

Language:

english

File:

PDF, 258 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски